On type theory in computer science (via the calculus of constructions):
type universe
coercion
dependent type theoretic methods in natural language semantics
Last revised on January 3, 2023 at 00:45:39. See the history of this page for a list of all contributions to it.